Simonis, Helmut: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Solving large combinatorial problems in logic programming

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1990

Language:

english

File:

PDF, 1.22 MB

english, 1990

2

Constraint satisfaction using constraint logic programming

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.22 MB

english, 1992

3

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming Volume 8451 || An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments

Simonis, Helmut

Year:

2014

Language:

english

File:

PDF, 279 KB

english, 2014

4

A Constraint-Based Dental School Timetabling System

Cambazard, Hadrien, O'Sullivan, Barry, Simonis, Helmut

Journal:

Year:

2014

Language:

english

File:

PDF, 2.33 MB

english, 2014

5

Embedding boolean expressions into logic programming

Wolfram Buttner, Helmut Simonis

Journal:

Journal of Symbolic Computation

Year:

1987

Language:

english

File:

PDF, 471 KB

english, 1987

6

Toward sustainable development in constraint programming

Beldiceanu, Nicolas, Flener, Pierre, Monette, Jean-Noël, Pearson, Justin, Simonis, Helmut

Journal:

Year:

2014

Language:

english

File:

PDF, 292 KB

english, 2014

7

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming Volume 8451 ||

Simonis, Helmut

Year:

2014

Language:

english

File:

PDF, 10.54 MB

english, 2014

8

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 12333 (26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7â11, 2020, Proceedings) ||

Simonis, Helmut

Year:

2020

File:

PDF, 47.53 MB

2020

9

Models for Global Constraint Applications

Journal:

Year:

2007

Language:

english

File:

PDF, 540 KB

english, 2007

10

Preface: Volume 1

Marc Wallace, Yves Caseau, Eric Jacquet-Lagreze, Helmut Simonis, Gilles Pesant

Journal:

Electronic Notes in Discrete Mathematics

Year:

1999

Language:

english

File:

PDF, 28 KB

english, 1999

11

Partial symmetry breaking by local search in the group

Steve D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim

Journal:

Year:

2012

Language:

english

File:

PDF, 517 KB

english, 2012

12

[IEEE 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing (UCC) - Dresden, Germany (2013.12.9-2013.12.12)] 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing - Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices

Mehta, Deepak, O'Sullivan, Barry, Simonis, Helmut

Year:

2013

Language:

english

File:

PDF, 359 KB

english, 2013

13

[IEEE 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) - Chicago, IL, USA (2014.5.26-2014.5.29)] 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing - Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon

Cauwer, Milan De, Mehta, Deepak, OSullivan, Barry, Simonis, Helmut, Cambazard, Hadrien

Year:

2014

Language:

english

File:

PDF, 276 KB

english, 2014

14

Analyzing the impact of electricity price forecasting on energy cost-aware scheduling

Grimes, Diarmuid, Ifrim, Georgiana, O'Sullivan, Barry, Simonis, Helmut

Journal:

Sustainable Computing: Informatics and Systems

Year:

2014

Language:

english

File:

PDF, 2.14 MB

english, 2014

15

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming Volume 8451 || A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling

Simonis, Helmut

Year:

2014

Language:

english

File:

PDF, 213 KB

english, 2014

16

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming Volume 8451 || Parallel Combinatorial Optimization with Decision Diagrams

Simonis, Helmut

Year:

2014

Language:

english

File:

PDF, 304 KB

english, 2014

17

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation

Mehta, Deepak, OSullivan, Barry, Ozturk, Cemalettin, Quesada, Luis, Simonis, Helmut

Year:

2014

Language:

english

File:

PDF, 2.24 MB

english, 2014

18

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Multicriteria Reasoning Considering Reliability or Availability

Hadzic, Tarik, Simonis, Helmut

Year:

2010

Language:

english

File:

PDF, 365 KB

english, 2010

19

Using finite transducers for describing and synthesising structural time-series constraints

Beldiceanu, Nicolas, Carlsson, Mats, Douence, Rémi, Simonis, Helmut

Journal:

Year:

2016

Language:

english

File:

PDF, 1.42 MB

english, 2016

20

The Inductive Constraint Programming Loop

BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

Journal:

IEEE Intelligent Systems

Year:

2017

Language:

english

File:

PDF, 390 KB

english, 2017

21

[Foundations of Artificial Intelligence] Handbook of Constraint Programming Volume 2 || Constraint Applications in Networks

Simonis, Helmut

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

22

Deriving generic bounds for time-series constraints based on regular expressions characteristics

Arafailova, Ekaterina, Beldiceanu, Nicolas, Simonis, Helmut

Journal:

Year:

2018

Language:

english

File:

PDF, 1.72 MB

english, 2018

23

The Inductive Constraint Programming Loop

Bessiere, Christian, De Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, OSullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

Journal:

IEEE Intelligent Systems

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

24

Detection Methods for Autoantibodies in Suspected Autoimmune Encephalitis

Ricken, Gerda, Schwaiger, Carmen, De Simoni, Desiree, Pichler, Valerie, Lang, Julia, Glatter, Sarah, Macher, Stefan, Rommer, Paulus S., Scholze, Petra, Kubista, Helmut, Koneczny, Inga, Höftberger, Rom

Journal:

Frontiers in Neurology

Year:

2018

Language:

english

File:

PDF, 3.28 MB

english, 2018

25

[IEEE 2019 Winter Simulation Conference (WSC) - National Harbor, MD, USA (2019.12.8-2019.12.11)] 2019 Winter Simulation Conference (WSC) - Simulation-Based Optimization Tool for Field Service Planning

Castane, Gabriel G., Simonis, Helmut, Brown, Kenneth N., Lin, Yiqing, Ozturk, Cemalettin, Garraffa, Michele, Antunes, Mark

Year:

2019

Language:

english

File:

PDF, 11.81 MB

english, 2019

26

Invariants for time-series constraints

Arafailova, Ekaterina, Beldiceanu, Nicolas, Simonis, Helmut

Journal:

Year:

2020

File:

PDF, 3.14 MB

2020